-- MAIN == 99
DEF dummy1():nat == 1
DEF dummy2():nat == 2
DEF dummy3():nat == 3
DEF dummy4():nat == 4
DEF dummy5():nat == 5
DEF dummy6():nat == 6
DEF MAIN:nat == 99
DEF dummy7():nat == 7
DEF dummy8():nat == 8
DEF dummy9():nat == 9
